Monoidal abelian envelopes

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes new tool the construction tensor As an example we obtain proofs several universal categories as conjectured by Deligne. Another constructs interesting in positive characteristic via tilting modules ${\rm SL}_2$ .